Merge branch 'overlay-layout' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 28 Mar 2019 21:07:38 +0000 (21:07 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 28 Mar 2019 21:07:38 +0000 (21:07 +0000)
overlay: Use a layout manager

See merge request GNOME/gtk!677


Trivial merge